Formica rufa var. whymperi